SEAIJRC Covid model
id_total, 85.126137809
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.030839954
id_inclusion_check_mod_p, 0.016398101
id_groebner_time, 0.179462154
id_beautifulization, 0.112446321
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 318.0
